Rotate around Point Tool
From GeoGebra Manual
- Select the object you want to rotate. Then, click on a point to specify the center of rotation and enter the rotation angle into the text field of the appearing dialog window.
- Note: See also Rotate command.